function cGRp(){
document.getElementById("code").setAttribute("class","pth");
}
function cGRh(){
document.getElementById("code").setAttribute("class","htm");
}
function cGRk(){
document.getElementById("code").setAttribute("class","klb");
}